Instance Verification Kit (IVK)

mutex lock @ [82266+35+/linux-3.19-rc1/drivers/usb/core/hub.c]
Instance Signature: status_lock

The Matching Pair Graph:


Function Name
Control Flow Graph (CFG)
Events Flow Graph (EFG)
Source Correspondence
hub_event [145094+9+/linux-3.19-rc1/drivers/usb/core/hub.c]
hub_handle_remote_wakeup [102251+24+/linux-3.19-rc1/drivers/usb/core/hub.c]
hub_port_connect [133795+16+/linux-3.19-rc1/drivers/usb/core/hub.c]
hub_port_connect_change [139823+23+/linux-3.19-rc1/drivers/usb/core/hub.c]
port_event [141279+10+/linux-3.19-rc1/drivers/usb/core/hub.c]
usb_enumerate_device [67020+20+/linux-3.19-rc1/drivers/usb/core/hub.c]
usb_lock_port [82185+13+/linux-3.19-rc1/drivers/usb/core/hub.c]
usb_new_device [70245+14+/linux-3.19-rc1/drivers/usb/core/hub.c]
usb_port_resume [99269+15+/linux-3.19-rc1/drivers/usb/core/hub.c]
usb_port_suspend [89817+16+/linux-3.19-rc1/drivers/usb/core/hub.c]
usb_reset_device [159966+16+/linux-3.19-rc1/drivers/usb/core/hub.c]
usb_unlock_port [82353+15+/linux-3.19-rc1/drivers/usb/core/hub.c]